$\forall$$a$,$b$,$c$:$\mathbb{Z}$. divides($a$; $b$) $\Rightarrow$ divides($b$; $c$) $\Rightarrow$ divides($a$; $c$)